Preservation theorems in {L}ukasiewicz \model theory
نویسندگان
چکیده مقاله:
We present some model theoretic results for {L}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by Chang and Keisler.We prove compactness theorem with respect to the class of allstructures taking values in the {L}ukasiewicz $texttt{BL}$-algebra.We also prove some appropriate preservation theorems concerning universal and inductive theories.Finally, Skolemization and Morleyization in this framework are discussed andsome natural examples of fuzzy theories are presented.
منابع مشابه
Preservation Theorems in Lukasiewicz Model Theory
We present some model theoretic results for Lukasiewicz predicate logic by using the methods of continuous model theory developed by Chang and Keisler. We prove compactness theorem with respect to the class of all structures taking values in the Lukasiewicz BL-algebra. We also prove some appropriate preservation theorems concerning universal and inductive theories. Finally, Skolemization and Mo...
متن کاملpreservation theorems in {l}ukasiewicz model theory
we present some model theoretic results for {l}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by chang and keisler.we prove compactness theorem with respect to the class of allstructures taking values in the {l}ukasiewicz $texttt{bl}$-algebra.we also prove some appropriate preservation theorems concerning universal and inductive theories.finally, skolemizatio...
متن کاملPreservation Theorems in Finite Model Theory
We develop various aspects of the finite model theory of Lk(there exists) and Lk∞omega(there exists). We establish the optimality of normal forms for Lk∞omega(there exists) over the class of finite structures and demonstrate separations over the class of finite structures and demonstrate separations among descriptive complexity classes within Lk∞omega(there exists). We establish negative result...
متن کاملPreservation Theorems in Finite Model Theory ? Eric Rosen ? ?
We develop various aspects of the nite model theory of L k (9) and L k 1! (9). We establish the optimality of normal forms for L k 1! (9) over the class of nite structures and demonstrate separations among descriptive complexity classes within L k 1! (9). We establish negative results concerning preservation theorems for L k (9) and L k 1! (9). We introduce a generalized notion of preservation ...
متن کاملSecurity Theorems via Model Theory
A model-theoretic approach can establish security theorems, which are formulas expressing authentication and non-disclosure properties of protocols. Security theorems have a special form, namely quantified implications ∀~x .(φ ⊃ ∃~y .ψ). Models (interpretations) for these formulas are skeletons, partially ordered structures consisting of a number of local protocol behaviors. Realized skeletons ...
متن کاملProof Theory for First Order Lukasiewicz Logic
An approximate Herbrand theorem is proved and used to establish Skolemization for first-order Łukasiewicz logic. Proof systems are then defined in the framework of hypersequents. In particular, extending a hypersequent calculus for propositional Łukasiewicz logic with usual Gentzen quantifier rules gives a calculus that is complete with respect to interpretations in safe MV-algebras, but lacks ...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
عنوان ژورنال
دوره 10 شماره 3
صفحات 103- 113
تاریخ انتشار 2013-06-01
با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023